Feeds to Scour
SubscribedAll
Scoured 258030 posts in 6.12 s
Writing an NES emulator in Haskell
arthi-chaud.github.io·2d·
Discuss: Lobsters, Hacker News
🧸Toy Compilers
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
A Farmer Doesn’t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.com·12h·
Discuss: r/LocalLLaMA
📜Bytecode Interpreters
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.to·1d·
Discuss: DEV
🎯Type Theory
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·13h
🔧LLVM IR
Preview
Report Post
Jailbreaks Peak Early, Then Drop: Layer Trajectories in Llama-3.1-70B
lesswrong.com·11h
🏷️Memory Tagging
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·10h·
Discuss: Hacker News
💻Terminal Control
Preview
Report Post
Hj Hornbeck
freethoughtblogs.com·16h
🔍ML Language
Preview
Report Post
Deno 2 vs Node.js vs Bun in 2026: The Complete JavaScript Runtime Comparison
pockit.tools·14h·
Discuss: DEV
🚀V8 Internals
Preview
Report Post
Favorite Compiler and Interpreter Resources
eatonphil.com·1d·
Discuss: Hacker News
⚙️Compilers
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·2h·
Discuss: Hacker News
🏰Capability Machines
Preview
Report Post
Donald Knuth’s 2025 Christmas Lecture: The Knight’s Tours
denvermobileappdeveloper.com·1d·
Discuss: DEV
🧮Combinator Calculus
Preview
Report Post
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.com·2d·
Discuss: r/cpp
💬Smalltalk VMs
Preview
Report Post
Qwen2 Technical Report
paperium.net·1d·
Discuss: DEV
⚡Tokenizer Optimization
Preview
Report Post
Docling + Go + Bob: The Modern Document Stack
dev.to·1d·
Discuss: DEV
🔄Incremental Lexing
Preview
Report Post
Thread by @theresanaiforit on Thread Reader App
threadreaderapp.com·1h
💬Smalltalk VMs
Preview
Report Post
What I Learned Building a Storage Engine That Outperforms RocksDB
tidesdb.com·2h·
Discuss: Hacker News, r/programming
🔗Memory Linearization
Preview
Report Post
Rendering the Mandelbrot Set on the C64
jamesphilbrick.bearblog.dev·1d
📡Binary Protocols
Preview
Report Post
GNU Mes and the module system
ekaitz.elenq.tech·1d·
Discuss: Lobsters, Hacker News
🔧Scheme Macros
Preview
Report Post
LangChain & LangGraph: Beginner’s Guide to AI Workflows
javacodegeeks.com·1d
🌊Dataflow Languages
Preview
Report Post